THE EXPRESSIVE POWER OF TRUTH

analysis of power in the network society

اندیشمندان و صاحب نظران علوم اجتماعی بر این باورند که مرحله تازه ای در تاریخ جوامع بشری اغاز شده است. ویژگیهای این جامعه نو را می توان پدیده هایی از جمله اقتصاد اطلاعاتی جهانی ، هندسه متغیر شبکه ای، فرهنگ مجاز واقعی ، توسعه حیرت انگیز فناوری های دیجیتال، خدمات پیوسته و نیز فشردگی زمان و مکان برشمرد. از سوی دیگر قدرت به عنوان موضوع اصلی علم سیاست جایگاه مهمی در روابط انسانی دارد، قدرت و بازتولید...

Expressive Three-valued Truth Functions

The expressive truth functions of two-valued logic have all been characterized, as have the expressive unary truth functions of finitely-many-valued logic. This paper introduces some techniques for identifying expressive functions in three-valued logics. 1  We are going to explore a property of truth functions known as “expressiveness.” Before subjecting readers to the long-winded exp...

The Expressive Power of

The expressive power of parallelism

We explore an algebraic language for networks consisting of a xed number of reactive units, communicating synchronously over a xed linking structure. The language has only two operators: disjoint parallelism, where two networks are composed in parallel without any interconnections, and linking, where an interconnec-tion is formed between two ports. The intention is that these operators correspo...

The Expressive Power of Clocks

We investigate the expressive power of timing restrictions on labeled transition systems. In particular, we show how constraints on clock variables together with a uniform liveness condition| the divergence of time|can express B uchi, Muller, Streett, Rabin, and weak and strong fairness conditions on a given labeled transition system. We then consider the e ect, on both timed and time-abstract...